act add
act gensym
assert const genrule_____________ ((const sys_________________ const gensym______________ var head________________) (const sys_________________ const gensym______________ var id__________________) (const sys_________________ const add_________________ var id__________________ var head________________ ()))

search ( const sys_________________ const add_________________ const genrule_____________ const genrule_____________ ((const sys_________________ const gensym______________ var head________________) (const sys_________________ const gensym______________ var id__________________) (const sys_________________ const add_________________ var id__________________ var head________________ ())))
